package yapl.typeChecker;

public class RecordType extends Type {

}
